- deriver
- Deriver. v. n. S'éloigner du bord, du rivage; Dez que le batteau eut derivé. il est temps de partir, derive.Il signifie aussi, en termes de marine, Deschoir de la route qu'on tient en mer, s'en escarter. Nous trouvasmes que les courants avoient fait dériver le vaisseau de dix lieuës. le pilote, pour ne pas donner sur le rocher, fut obligé de laisser dériver le vaisseau.Deriver, signifie aussi, Venir de, tirer son origine. C'est de là que derivent tous les malheurs que nous voyons arriver. de là sont derivées tant d'erreurs, tant d'heresies, &c.Il se dit en termes de Grammaire, des mots qui tirent leur origine de quelque autre. Un tel mot derive de celuy-là. d'où faites-vous deriver ce mot? ce mot est derivé de l'Arabe.On dit quelquefois, Deriver, pour, Faire deriver: & alors il se prend activement. D'où derivez-vous ce mot-là? je le derive du mot grec.
Dictionnaire de l'Académie française . 1964.